floating-point multiplication - Deutsch Englisch Wörterbuch